The Application of Concurrent Fuzzy Prolog in the Field of Modeling Flexible Manufacturing Systems

In this paper we present the application of Concurrent Fuzzy Prolog (ConFuP) 10, 9] in the eld of modeling exible manufacturing systems. ConFuP ooers the feasibility of concurrent process modeling through a set of descriptive rules based on uncertain or qualitative knowledge and enables the user to model hierarchical descriptions from a physical point of view (e.g. machines, tools, etc.) as well as from a logical one, where processes and machine states are described. Time considerations, modeling of alternative decisions and concur-rency/synchronization are also supported by ConFuP. With fuzzy data types and operators (fuzzy sets, fuzziication, defuzziication) the formulation of diierent kinds of uncertainty is possible. System calls for diierent fuzzy operators, methods and strategies allow maximum exibility.